Nuprl Definition : msg-spec-links
11,40
postcript
pdf
msg-spec-links(
snd
) == map((
p
.
p
.2); fpf-domain(
snd
))
latex
Definitions
map(
f
;
as
)
,
x
.
A
(
x
)
,
t
.2
,
fpf-domain(
f
)
FDL editor aliases
msg-spec-links
origin
p.p.2); fpf-domain(snd)) p.p.2); fpf-domain(snd)) x.A(x)